val x = new { } with { }
trait A 
val y = new { } with A
